Hybrid logic - PDFSEARCH.IO - Document Search Engine

Hybrid logic
Results: 87

#	Item
81	May 15, 2007 — To be presented at HyLo’07 (Part of ESSLLI[removed]Deep Inference for Hybrid Logic Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2007-05-15 05:01:27 Philosophical logic Deduction Automated theorem proving Natural deduction Method of analytic tableaux Deduction theorem Kripke semantics Sequent calculus Modal logic Logic Mathematical logic Proof theory
82	A novel approach to finding feasible solutions to personnel rostering problems Gareth Beddoe and Sanja Petrovic Add to Reading List Source URL: pomsmeetings.org Language: English - Date: 2008-12-23 09:33:56 Computer programming Constraint satisfaction problem Constraint satisfaction Constraint logic programming Tabu search Genetic algorithm Mathematical optimization Hybrid algorithm Memetic algorithm Constraint programming Artificial intelligence Software engineering
83	Hybrid Control of a Pneumatic Artificial Muscle (PAM) Robot Arm Using an Inverse NARX Fuzzy Model Add to Reading List Source URL: www4.hcmut.edu.vn Language: English Artificial intelligence Mathematical logic Fuzzy logic Control engineering Cybernetics Neuro-fuzzy Fuzzy control system Fuzzy set Control theory Science Logic Genetic algorithms
84	Tool-Support for the Analysis of Hybrid Systems and Models Add to Reading List Source URL: www.date-conference.com Language: English - Date: 2007-03-14 18:49:09 Operations research Constraint programming Logic in computer science Electronic design automation Formal methods Satisfiability Modulo Theories Solver Boolean satisfiability problem Constraint satisfaction Theoretical computer science Applied mathematics Mathematics
85	PDF Document Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-09 22:05:51 Artificial intelligence Constraint satisfaction problem Backjumping Constraint satisfaction Constraint logic programming Backtracking Hybrid algorithm Assignment Constraint programming Software engineering Computer programming
86	PDF Document Add to Reading List Source URL: openarchive.cbs.dk Language: English - Date: 2010-11-08 04:50:45 Open source Open-source software Institutional theory Framework Programmes for Research and Technological Development Sociology Structure Science Hybrid organization Organizations Institutional logic
87	Untitled Add to Reading List Source URL: archive.computerhistory.org Language: English - Date: 2006-01-24 16:32:14 Electronics Classes of computers Analog computer Hybrid computer Computer Parallel computing Simulation Logic simulation Electronic engineering Electronic design automation Digital electronics

UPDATE